$\forall$$T$:Type, $a$, $b$:$T$ List, $i$:$\mathbb{N}$. $a$ $=$ $b$ $\Rightarrow$ $i$$<\parallel$$a$$\parallel$ $\Rightarrow$ $a$[$i$] $=$ $b$[$i$] $\in$ $T$